-
1 difference list
1) Программирование: список различий (в логическом программировании)2) SAP.фин. список инвентаризационных разниц -
2 logical implication
1) Математика: логическая импликация2) Программирование: логическое следование (в логическом программировании) -
3 negation-as-failure
Программирование: отрицание как неудача (правило в логическом программировании; см. напр. Introduction to logic programming by Ghristopher John Hogger) -
4 negation-as-inconsistency
Программирование: отрицание как противоречие (правило в логическом программировании; см. напр. Introduction to logic programming by Ghristopher John Hogger)Универсальный англо-русский словарь > negation-as-inconsistency
-
5 parameter matching
Программирование: согласование параметров (в логическом программировании) -
6 parent sentence
Программирование: родительское предложение (в логическом программировании) -
7 valid sentence
1) Математика: общезначимое высказывание2) Программирование: общезначимое предложение (в логическом программировании) -
8 логическое следование
1) Linguistics: entailment2) Programming: logical implication (в логическом программировании)Универсальный русско-английский словарь > логическое следование
-
9 общезначимое предложение
Programming: valid sentence (в логическом программировании)Универсальный русско-английский словарь > общезначимое предложение
-
10 отрицание как неудача
Programming: negation-as-failure (правило в логическом программировании; см. напр. Introduction to logic programming by Ghristopher John Hogger)Универсальный русско-английский словарь > отрицание как неудача
-
11 отрицание как противоречие
Programming: negation-as-inconsistency (правило в логическом программировании; см. напр. Introduction to logic programming by Ghristopher John Hogger)Универсальный русско-английский словарь > отрицание как противоречие
-
12 родительское предложение
Programming: parent sentence (в логическом программировании)Универсальный русско-английский словарь > родительское предложение
-
13 согласование параметров
Programming: parameter matching (в логическом программировании)Универсальный русско-английский словарь > согласование параметров
-
14 список различий
Programming: difference list (в логическом программировании) -
15 assertion
1) суждение, утверждение, высказываниеа) условие или логическое выражение, которое, если его значение ложно, означает ошибку. Подобные выражения могут использоваться для целей отладки программ; например, в языке C++ имеются соответствующие механизмы контроля во время компиляции и во время исполнениясм. тж. compile time assertion, run-time assertion, software assertionб) в логическом программировании - новый факт или правило, которые программа во время выполнения вводит в базу данныхАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > assertion
-
16 predicate
1) предикатфункция, возвращающая логическое значение (logical value). В логическом программировании предикат определяет свойство или соотношение его параметров, приводимых в круглых скобках. Параметры предиката обычно обозначают объекты некоторой предметной области или их свойства. Предикат однозначно определяется именем и числом аргументов. Два предиката с одинаковым именем, но различным числом аргументов, считаются различными. Порядок аргументов предиката связан со смыслом описываемого им соотношения и поэтому не изменяем3) сказуемоеАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > predicate
-
17 parameter matching
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > parameter matching
См. также в других словарях:
Дизъюнкт Хорна — В математической логике, дизъюнкт Хорна дизъюнкция литералов с не более чем одним положительным литералом. Дизъюнкты Хорна названы по имени логика Альфреда Хорна, который впервые указал важность таких дизъюнктов в статье 1951 года «On… … Википедия
Присваивание — Присваивание механизм в программировании, позволяющий динамически изменять связи объектов данных (как правило, переменных) с их значениями. Строго говоря, изменение значений является побочным эффектом операции присвоения, и во многих… … Википедия
Присваивание (программирование) — Содержание 1 Определение присваивания 1.1 Алгоритм работы оператора присваивания … Википедия
Присвоение (программирование) — Содержание 1 Определение присваивания 1.1 Алгоритм работы оператора присваивания … Википедия
Логический вывод — Вывод процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода… … Википедия
Умозаключение — Вывод процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям заключениям. Правила преобразования исходной системы предпосылок в систему заключений называются правилами вывода… … Википедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Вывод (рассуждение) — У этого термина существуют и другие значения, см. Вывод. Вывод (лат. conclusio) процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям заключениям. Правила… … Википедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
Битовые операции — Не следует путать с булевой функцией. Битовая операция в программировании некоторые операции над цепочками битов. В программировании, как правило, рассматриваются лишь некоторые виды этих операций: логические побитовые операции и… … Википедия
Битовая операция — Битовые операции, иногда также булевы или логические операции[1] операции над битами, применяемые в программировании и цифровой технике, изучаемые в дискретной математике и математической логике. Содержание 1 Введение 1.1 … Википедия